Computer Science and Engineering - PDFSEARCH.IO - Document Search Engine

Computer Science and Engineering
Results: 6228

#	Item
531	Abstract Features in Feature Modeling Thomas Th¨um∗ , Christian K¨astner† , Sebastian Erdweg† , and Norbert Siegmund∗ ∗ University † Philipps of Magdeburg, Germany Add to Reading List Source URL: wwwiti.cs.uni-magdeburg.de Language: English - Date: 2011-06-11 06:47:51 Logic Abstraction Propositional calculus Syntax Mathematics Logic in computer science Formal methods Feature model Semantics Product family engineering Software Product Lines Online Tools Boolean algebra
532	Bringing Expert Computational Practices into High School Science Classrooms Elham Beheshti, David Weintrop, Kai Orton, Michael Horn, Kemi Jona, Laura Trouille, Uri Wilensky Northwestern University Introduction Add to Reading List Source URL: ccl.northwestern.edu Language: English - Date: 2016-06-13 15:45:10 Science and technology Academia Science Computational thinking Computational science Computer science A New Kind of Science Science technology engineering and mathematics
533	Dynamic Voltage Scaling for Portable Systems Tajana Simunic Luca Benini Andrea Acquaviva Peter Glynny Giovanni De Micheli yManagement Science and Computer Systems DEIS Engineering Department Add to Reading List Source URL: seelab.ucsd.edu Language: English - Date: 2012-06-04 16:50:20 Energy conservation Electromagnetism Computing Electric power Electronics Audio codecs Computers and the environment Power management Low-power electronics Dynamic voltage scaling Scheduling Dynamic frequency scaling
534	Curriculum Vitae JESSY W. GRIZZLE Business Address Department of Electrical Engineering and Computer Science University of Michigan EECS Building Add to Reading List Source URL: web.eecs.umich.edu Language: English - Date: 2016-04-25 13:09:25 Institute of Electrical and Electronics Engineers Piscataway New Jersey
535	1 Preparation of Papers for Asian Journal of Engineering, Science and Techonology First A. Author, Second B. Author, Jr., and Third C. Author, Member, IEEE Add to Reading List Source URL: ajest.iqra.edu.pk Language: English - Date: 2011-11-15 05:24:12 Software Computing Computer graphics Graphics file formats Open formats Adobe Systems Microsoft Office Vector graphics markup languages TIFF Institute of Electrical and Electronics Engineers LaTeX IEEE style
536	Improving Information Retrieval with Textual Analysis: Bayesian Models and Beyond by Jaime B. Teevan Submitted to the Department of Electrical Engineering and Computer Add to Reading List Source URL: www.websci11.org Language: English - Date: 2016-03-15 09:55:59 Information science Statistical natural language processing Natural language processing Statistics Machine learning Information retrieval Bayesian network Probability distribution Tfidf Latent semantic analysis Probabilistic latent semantic analysis
537	Permutation groups and the graph isomorphism problem Sumanta Ghosh and Piyush P Kurur Department of Computer Science and Engineering, Indian Institute of Technology Kanpur, Kanpur, Uttar Pradesh, India Add to Reading List Source URL: www.cse.iitk.ac.in Language: English - Date: 2016-07-30 09:35:21 Graph theory Mathematics Algebra Morphisms Finite groups Permutation groups Algebraic graph theory Graph automorphism Graph isomorphism problem Line graph Symmetric group Graph isomorphism
538	Fast Optimization for t-SNE Laurens van der Maaten Department of Computer Science and Engineering, University of California, San Diego 9500 Gilman Drive, La Jolla, CA 92093, USA Pattern Recognition & Bioinformatics Lab, Add to Reading List Source URL: lvdmaaten.github.io Language: English - Date: 2016-07-16 15:30:43 Multivariate statistics Numerical analysis Statistics Applied mathematics Dimension reduction T-distributed stochastic neighbor embedding Computational statistics Nonlinear dimensionality reduction Mathematical optimization Dimensionality reduction Deep learning Artificial neural network
539	Combining CSP and B for Specification and Property Verification⋆ Michael Butler1 and Michael Leuschel1,2 1 2 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-11-21 11:00:56 Software engineering Theoretical computer science Computing Concurrent computing Constraint programming Models of computation Model checkers Process calculus Michael Butler Model checking FDR Denotational semantics
540	Reconciling Semantics, Implementation and Users Gérard Berry INRIA Sophia-Antipolis http://www-sop.inria.fr/Gerard.Berry Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:00 Theoretical computer science Logic in computer science Software engineering Computer science Hardware description languages Synchronous programming languages Formal methods Denotational semantics Esterel Robin Milner Milner Logic for Computable Functions

UPDATE